void br(unsigned char count);
void stderr_br(unsigned char count);
